Analyzing Partially - Implemented Real - TimeSystemsGeorge
نویسندگان
چکیده
|Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, such as a speciication or programming language. There are, however, many situations in which developers would beneet from tools that could analyze partially-implemented systems, those for which some components are given only as high-level speciications while others are fully implemented in a programming language. In this paper, we propose a method for analyzing such partially-implemented real-time systems. Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially speciied using regular expressions and Graphical Interval Logic (GIL), a real-time temporal logic. We show how to construct models of the partially-implemented systems that account for such properties as run-time overhead and scheduling of processes, yet support tractable analysis of nontrivial programs. The approach can be fully automated, and we illustrate it by analyzing a small example.
منابع مشابه
HIERARCHICAL DATA CLUSTERING MODEL FOR ANALYZING PASSENGERS’ TRIP IN HIGHWAYS
One of the most important issues in urban planning is developing sustainable public transportation. The basic condition for this purpose is analyzing current condition especially based on data. Data mining is a set of new techniques that are beyond statistical data analyzing. Clustering techniques is a subset of it that one of it’s techniques used for analyzing passengers’ trip. The result of...
متن کاملReal-time Multi-agent Coordination Using DIADEM: Applications to Automobile and Submarine Control
abstract In this paper we discuss the real-time multi-agent coordination and control requirements of automobile and submarine systems. We illustrate the use of hybrid systems techniques for analyzing and synthesizing the control architectures and show how they can be implemented using the diadem system.
متن کاملA Framework for Modeling and Evaluating Timing Behaviour for Real-time Systems
In this paper we present a tool for modelling and analyzing real-time systems. The description of the system being modelled is based on system’s timing characteristics. Using the implemented tool, several quantitative timing information about the system such as schedulability, response time and loading factor could be estimated. Based on the developed simulated model of a real-time system, the ...
متن کاملA probabilistic control architecture for robust autonomy of an anthropomorphic service robot
In this paper, we present a probabilistic control architecture, which has been built around the concept of probabilistic decision making. By utilizing partially observable Markov decision processes (POMDPs) on an abstract level, the system is able to deal with imperfect multi-modal perception and stochastic environment dynamics in real world settings. By compiling POMDP models from structured, ...
متن کاملA fuzzy approach for the earned value management
The earned value technique is a crucial technique in analyzing and controlling the performance of a project which allows a more accurate measurement of both the performance and the progress of a project. This paper presents a new fuzzy-based earned value model with the advantage of developing and analyzing the earned value indices, and the time and the cost estimates at completion under uncerta...
متن کامل